VDM '87 - VDM - a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings
- Författare
- (Edited by D. Bjørner ..)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1987 | USA, New York, Berlin | ix, 422 sidor. ill. |